-
1 referential transparency
-
2 referential transparency
Большой англо-русский и русско-английский словарь > referential transparency
-
3 referential transparency
1) Вычислительная техника: прозрачность ссылок2) Нефть: отсутствие побочного эффекта3) Программирование: референциальная прозрачностьУниверсальный англо-русский словарь > referential transparency
-
4 referential transparency
English-Russian dictionary of computer science and programming > referential transparency
-
5 referential transparency
Англо-русский словарь нефтегазовой промышленности > referential transparency
-
6 referential transparency
English-Russian dictionary of chemistre > referential transparency
-
7 referential transparency
-
8 referential transparency
говорят, что программа или математическое выражение ссылочно прозрачны, если любое подвыражение можно заменить его значением, и это не приведёт к изменению значения целого, т. е. скрытые побочные эффекты отсутствуют. Математические рассуждения, преобразования и доказательства корректности могут быть справедливыми только для выражений, обладающих этим свойством, А программы, написанные на обычных процедурных языках, не являются ссылочно прозрачными, так как присвоение значений глобальным переменным вызывает скрытые побочные эффекты. Достижение прозрачности - главная цель языков функционального программированиясм. тж. functional programmingАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > referential transparency
-
9 referential transparency
English-Russian dictionary of terms that are used in computer games > referential transparency
-
10 referential transparency
English-Russian dictionary of Information technology > referential transparency
-
11 referential transparency
English-Russian dictionary of computer science > referential transparency
-
12 referential transparency
English-Russian big medical dictionary > referential transparency
-
13 referential transparency
The English-Russian dictionary general scientific > referential transparency
-
14 transparency
1. n прозрачность2. n транспарант3. n фото чёрно-белый или цветной диапозитивcolor transparency — цветной диапозитив, слайд
Синонимический ряд:1. clarity (noun) clarity; clearness; limpidness; lucidity; sheerness; translucence; transparence2. membrane (noun) coat; coating; fabric; film; gauze; membrane; pellicle; thin layer -
15 transparency
•- device transparency
- distribution transparency
- memory transparency
- referential transparency
- software transparencyEnglish-Russian dictionary of computer science and programming > transparency
-
16 transparency
[trænsˈpɛərənsɪ]data transparency вчт. независимость от данных referential transparency вчт. отсутствие побочного эффекта transparency прозрачность transparency транспарант transparency рекл. транспарант transparency of market прозрачность рынка -
17 transparency
trænsˈpɛərənsɪ сущ.
1) прозрачность
2) транспарант прозрачность - the * of air прозрачность воздуха транспарант (фотографическое) черно-белый или цветной диапозитив - colour * цветной диапозитив data ~ вчт. независимость от данных referential ~ вчт. отсутствие побочного эффекта transparency прозрачность ~ транспарант ~ рекл. транспарант ~ of market прозрачность рынкаБольшой англо-русский и русско-английский словарь > transparency
-
18 concurrency transparency
-
19 memory transparency
-
20 code transparency
English-Russian dictionary of Information technology > code transparency
- 1
- 2
См. также в других словарях:
Referential transparency — may refer to:* Referential transparency (computer science) in computer science and computer language theory * The opposite of an opaque context in linguistics and philosophical logic … Wikipedia
Referential transparency (computer science) — Referential transparency and referential opaqueness are properties of parts of computer programs. An expression is said to be referentially transparent if it can be replaced with its value without changing the program (in other words, yielding a… … Wikipedia
Transparency — may refer to:*Transparency (optics), the physical property of allowing the transmission of light through a materialLiteral uses: *Electromagnetically induced transparency, an effect in which a medium that is normally opaque at a particular… … Wikipedia
Side effect (computer science) — In computer science, a function or expression is said to produce a side effect if it modifies some state in addition to returning a value. For example, a function might modify a global or a static variable, modify one of its arguments, write data … Wikipedia
Uniqueness type — In computing, a unique type guarantees that an object is used in a single threaded way, with at most a single reference to it. If a value has a unique type, a function applied to it can be made to update the value in place in the object code. In… … Wikipedia
Functional programming — In computer science, functional programming is a programming paradigm that treats computation as the evaluation of mathematical functions and avoids state and mutable data. It emphasizes the application of functions, in contrast with the… … Wikipedia
Idempotence — IPAEng|ˌaɪdɨmˈpoʊtəns describes the property of operations in mathematics and computer science which means that multiple applications of the operation does not change the result. The concept of idempotence arises in a number of places in abstract … Wikipedia
Identity (object-oriented programming) — An identity in object oriented programming, object oriented design and object oriented analysis describes the property of objects that distinguishes them from other objects. This is closely related to the philosophical concept of identity.… … Wikipedia
Gödel numbering for sequences — A Gödel numbering for sequences provides us an effective way to represent each finite sequence of natural numbers as a single natural number. Of course, the embedding is surely possible set theoretically, but the emphasis is on the effectiveness… … Wikipedia
Magic (programming) — In the context of computer programming, magic is an informal term for abstraction it is used to describe code that handles complex tasks while hiding that complexity to present a simple interface. The term is somewhat tongue in cheek and carries… … Wikipedia
Common Lisp — Paradigm(s) Multi paradigm: procedural, functional, object oriented, meta, reflective, generic Appeared in 1984, 1994 for ANSI Common Lisp Developer ANSI X3J13 committee Typing discipline … Wikipedia